61. On the Syllogism
پدیدآورنده: / by Augustus De Morgan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and Mathematical,Syllogism,منطق ریاضی,قیاس
رده :
BC135
.
D4O5
1966
62. Paradoxes
پدیدآورنده: / Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
63. Perspectives in Computational Complexity
پدیدآورنده: \ Manindra Agrawal, Vikraman Arvind Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
64. Philosophy and logical syntax
پدیدآورنده: /by Rudolf Carnap.,ک‍ارن‍اپ,Carnap
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی,زبان,فلسفه
رده :
BC
۱۳۵
/
ک
۲
ف
۲ ۱۳۱۴
65. Philosphie=Mathematiques et vocabulaire philosophique
پدیدآورنده: /Par L.Dugas.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
د
۸
ف
۹ ۱۲۹۸
66. Propositional calculus
پدیدآورنده: /P.H. Nidditch
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی
رده :
BC
۱۳۵
/
ن
۹
پ
۴ ۱۳۴۱
67. Quantifiers, Quantifiers, and Quantifiers
پدیدآورنده: \ Alessandro Torza Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
68. Reasoning about uncertainty
پدیدآورنده: / Joseph Y. Halpern
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: Uncertainty (Information theory),اس‍ت‍دلال,منطق ریاضی
رده :
Q
۳۷۵
/
ه
۲
ر
۹ ۱۳۸۲
69. Set theory and logic
پدیدآورنده: / Robert R. Stoll
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: نظریه مجموعه‌ها,منطق ریاضی
رده :
QA
۲۴۸
/
الف
۵
س
۴ ۱۳۴۲
70. Special Topics in Mathematics for Computer Scientists
پدیدآورنده: \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
71. Symbolic Logic
پدیدآورنده: \ Irving M Copi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical. ,منطق ریاضی
رده :
BC135
.
C58S9
2015
72. Symbolic logic
پدیدآورنده: / by Irving M. Copi
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی
رده :
BC
۱۳۵
B
۱۳۷۸
73. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده: \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
74. <The> Elements of Advanced Mathematics
پدیدآورنده: \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
75. <The> Essential Turing
پدیدآورنده: \ Edited by B. Jack Copeland
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
رده :
E-Book
,
76. The Logic Book
پدیدآورنده: / Merrie Bergmann, James Moor, Jack Nelson.,برگمن,Bergmann
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی,حمل (منطق)
رده :
BC
۱۳۵
/
ب
۴
ل
۲ ۱۳۸۲
77. <The> Logical Foundations of Scientific Theories
پدیدآورنده: \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
78. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: / edited by Stewart Shapiro.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
79. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
80. The essence of logic
پدیدآورنده: / John J. Kelly
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی,کامپیوتر
رده :
QA
۹
/
ک
۸
ال
ف
۵ ۱۳۷۶
